package datatypes.r2.quantities;

import datatypes.r2.flavors.ST_SIMPLE;
import datatypes.r2.foundation.BL;

public interface INT {
	INT successor();

	INT predecessor();

	INT plus(QTY x);

	INT times(INT x);

	INT negated();

	BL isNegative();

	BL nonNegative();

	REAL dividedBy(REAL x);

	INT dividedBy(INT x);

	INT remainder(INT x);

	BL isOne();

	ST_SIMPLE literal();
}
